AUTOMATIC ZERO BURETTE.

Zero-Automatic Queues

We introduce and study a new model: 0-automatic queues. Roughly, 0-automatic queues are characterized by a special buffering mechanism evolving like a random walk on some infinite group or monoid. The salient result is that all 0-automatic queues are quasi-reversible. When considering the two simplest and extremal cases of 0-automatic queues, we recover the simple M/M/1 queue, and Gelenbe’s G-q...

Automatic Generation of Sound Zero-Knowledge Protocols

Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many practical cryptographic applications such as identification schemes, group signatures, and secure multiparty computation. Currently, first applications that critically rely on ZK-PoKs are being deployed in the real world. The most prominent example is Direct Anonymous Attestation (DAA), which was adopted by ...

Zero-automatic queues and product form

We introduce and study a new model: 0-automatic queues. Roughly, 0-automatic queues are characterized by a special buffering mechanism evolving like a random walk on some infinite group or monoid. The salient result is that all stable 0-automatic queues have a product form stationary distribution and a Poisson output process. When considering the two simplest and extremal cases of 0-automatic q...

The cerimetric determination of glucuronic acid, using the Conway burette.

sequestrum, being non-vascular and inaccessible to the osteoclasts has remained unchanged. In clinical radiography judgements are based on relative rather than -on absolute image densities. Our figures show a slight and statistically nonsignificant increase in the calcium content of sequestra (group E) as compared with normal compact bone (group A). It may be argued that this is suggestive (p= ...

Automatic Defense Against Zero-day Polymorphic Worms in Communication Networks